#include "../../include/arm/assembler.h"
#include "../../include/arm/v7m.h"

ENTRY(arch_start_kernel)
    ldr r0, = init_stack
    add r0, r0, #THREAD_SIZE
    msr psp, r0
    mrs r0, control
    orr r0, r0, #CONTROL_PSP
    msr control, r0
    b start_kernel
